<html>
<head><meta charset="utf-8"><title>Separate projection bounds and predicates #73905 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Separate.20projection.20bounds.20and.20predicates.20.2373905.html">Separate projection bounds and predicates #73905</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="207063575"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Separate%20projection%20bounds%20and%20predicates%20%2373905/near/207063575" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Separate.20projection.20bounds.20and.20predicates.20.2373905.html#207063575">(Aug 16 2020 at 09:34)</a>:</h4>
<p>hi <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> I've seen you were able to go through the whole report while I was still trying to reduce some of the root regressions to help out (I spent too many time on the 2 actix ones and uom without arriving at a good enough place, sorry about that)</p>



<a name="207063577"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Separate%20projection%20bounds%20and%20predicates%20%2373905/near/207063577" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Separate.20projection.20bounds.20and.20predicates.20.2373905.html#207063577">(Aug 16 2020 at 09:34)</a>:</h4>
<p>CI was failing without showing the log so I've retriggered it, it's now done and the failure is just a tidy check <a href="https://github.com/rust-lang/rust/pull/73905/files#diff-8235b93063271856d8fa2fab84ffea23R11">failing here</a></p>



<a name="207063663"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Separate%20projection%20bounds%20and%20predicates%20%2373905/near/207063663" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Separate.20projection.20bounds.20and.20predicates.20.2373905.html#207063663">(Aug 16 2020 at 09:37)</a>:</h4>
<p>it also looks like you've added new commits fixing the issues you mentioned right ? if that's the case we could re-run crater on the regressed crates, it'd be super quick and we could p=1 it even though the queue is long an hour or so won't matter much and this PR is important (there's a test run now which should end tomorrow or so)</p>



<a name="207063774"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Separate%20projection%20bounds%20and%20predicates%20%2373905/near/207063774" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Separate.20projection.20bounds.20and.20predicates.20.2373905.html#207063774">(Aug 16 2020 at 09:41)</a>:</h4>
<p>(the subtlety of a missing normalize call somewhere, not exercized in our tests or possibly crater, is a bit scary; hopefully lazy normalization will solve that for good)</p>



<a name="207067158"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Separate%20projection%20bounds%20and%20predicates%20%2373905/near/207067158" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Separate.20projection.20bounds.20and.20predicates.20.2373905.html#207067158">(Aug 16 2020 at 11:23)</a>:</h4>
<p>(blessed mir-opt test failure this time)</p>



<a name="207072229"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Separate%20projection%20bounds%20and%20predicates%20%2373905/near/207072229" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Separate.20projection.20bounds.20and.20predicates.20.2373905.html#207072229">(Aug 16 2020 at 13:45)</a>:</h4>
<p>maybe a final perf run could be interesting in addition to the crater run (edit: triggered it, as perf's queue is almost empty; but boy I can't find the documentation for the bot anywhere)</p>



<a name="207073180"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Separate%20projection%20bounds%20and%20predicates%20%2373905/near/207073180" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Separate.20projection.20bounds.20and.20predicates.20.2373905.html#207073180">(Aug 16 2020 at 14:12)</a>:</h4>
<p>I'll also queue the crater run on the regressed crates, you can abort it if/when you see this message (the bot documentation seems wrong)</p>



<a name="207073550"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Separate%20projection%20bounds%20and%20predicates%20%2373905/near/207073550" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Separate.20projection.20bounds.20and.20predicates.20.2373905.html#207073550">(Aug 16 2020 at 14:22)</a>:</h4>
<p>documented a bit here <a href="https://github.com/rust-lang/rustc-perf/tree/master/collector#how-to-benchmark-a-change-using-the-benchmark-server">https://github.com/rust-lang/rustc-perf/tree/master/collector#how-to-benchmark-a-change-using-the-benchmark-server</a></p>



<a name="207073571"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Separate%20projection%20bounds%20and%20predicates%20%2373905/near/207073571" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Separate.20projection.20bounds.20and.20predicates.20.2373905.html#207073571">(Aug 16 2020 at 14:23)</a>:</h4>
<p>yeah thanks mark I remember this one, it was the "build" command I was looking for</p>



<a name="207073642"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Separate%20projection%20bounds%20and%20predicates%20%2373905/near/207073642" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Separate.20projection.20bounds.20and.20predicates.20.2373905.html#207073642">(Aug 16 2020 at 14:25)</a>:</h4>
<p>for craterbot, the doc mentions crates=list:xxx <a href="https://github.com/rust-lang/crater/blob/master/docs/bot-usage.md#available-crate-selections">here</a> but maybe it doesn't work anymore <a href="https://github.com/rust-lang/rust/pull/73905#issuecomment-674532432">https://github.com/rust-lang/rust/pull/73905#issuecomment-674532432</a></p>



<a name="207073656"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Separate%20projection%20bounds%20and%20predicates%20%2373905/near/207073656" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Separate.20projection.20bounds.20and.20predicates.20.2373905.html#207073656">(Aug 16 2020 at 14:25)</a>:</h4>
<p>(it used to work with crates=link and still does so not a problem)</p>



<a name="207073843"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Separate%20projection%20bounds%20and%20predicates%20%2373905/near/207073843" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Separate.20projection.20bounds.20and.20predicates.20.2373905.html#207073843">(Aug 16 2020 at 14:30)</a>:</h4>
<p>(I'm not complaining or anything, these bots are awesome &lt;3)</p>



<a name="207073899"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Separate%20projection%20bounds%20and%20predicates%20%2373905/near/207073899" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Separate.20projection.20bounds.20and.20predicates.20.2373905.html#207073899">(Aug 16 2020 at 14:32)</a>:</h4>
<p>it seems to have worked? why do you think it didn't?</p>



<a name="207074226"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Separate%20projection%20bounds%20and%20predicates%20%2373905/near/207074226" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Separate.20projection.20bounds.20and.20predicates.20.2373905.html#207074226">(Aug 16 2020 at 14:42)</a>:</h4>
<p>it errored with <code>crates=list:link</code> <a href="https://github.com/rust-lang/rust/pull/73905#issuecomment-674532432">https://github.com/rust-lang/rust/pull/73905#issuecomment-674532432</a> but worked fine with <code>crates=link</code> (and the couple times I did it before, I also used the <code>crates=link</code> format) (<code>crates=list:link</code> being the <a href="https://github.com/rust-lang/crater/blob/master/docs/bot-usage.md#available-crate-selections">documented format</a>)</p>



<a name="207074590"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Separate%20projection%20bounds%20and%20predicates%20%2373905/near/207074590" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Separate.20projection.20bounds.20and.20predicates.20.2373905.html#207074590">(Aug 16 2020 at 14:54)</a>:</h4>
<p><span class="user-mention" data-user-id="116122">@simulacrum</span> is that clearer ? :)</p>



<a name="207074592"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Separate%20projection%20bounds%20and%20predicates%20%2373905/near/207074592" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Separate.20projection.20bounds.20and.20predicates.20.2373905.html#207074592">(Aug 16 2020 at 14:55)</a>:</h4>
<p>ah</p>



<a name="207074601"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Separate%20projection%20bounds%20and%20predicates%20%2373905/near/207074601" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Separate.20projection.20bounds.20and.20predicates.20.2373905.html#207074601">(Aug 16 2020 at 14:55)</a>:</h4>
<p>yeah no idea, but filing an issue sounds good!</p>



<a name="207074603"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Separate%20projection%20bounds%20and%20predicates%20%2373905/near/207074603" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Separate.20projection.20bounds.20and.20predicates.20.2373905.html#207074603">(Aug 16 2020 at 14:55)</a>:</h4>
<p>you got it, done <a href="https://github.com/rust-lang/crater/issues/537">https://github.com/rust-lang/crater/issues/537</a></p>



<a name="207074840"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/Separate%20projection%20bounds%20and%20predicates%20%2373905/near/207074840" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/Separate.20projection.20bounds.20and.20predicates.20.2373905.html#207074840">(Aug 16 2020 at 15:01)</a>:</h4>
<p>maybe some of the shorthands don't accept all the values</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>